Compact manifolds with computable boundaries
نویسندگان
چکیده
منابع مشابه
Compact manifolds with computable boundaries
We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with computable boundary is computable. In fact, we examine the notion of a semi-computable compact set and we prove a more general result: in any computable metric ...
متن کاملDegree theory and BMO; part I: Compact manifolds without boundaries
In this paper we consider degree theory for mappings u from one compact smooth n-dimensional manifold X to a connected compact smooth manifold Y of the same dimension. These are manifolds without boundary and which are oriented. The classical degree counts the "number of times" Y is covered by u(X), taking into account algebraic multiplicity. For instance, if u E C 1 and y E Y is a regular valu...
متن کاملComputable structures on topological manifolds
We propose a definition of computable manifold by introducing computability as a structure that we impose to a given topological manifold, just in the same way as differentiability or piecewise linearity are defined for smooth and PL manifolds respectively. Using the framework of computable topology and Type-2 theory of effectivity, we develop computable versions of all the basic concepts neede...
متن کاملNon-cmc Solutions of the Einstein Constraint Equations on Compact Manifolds with Apparent Horizon Boundaries
In this article we continue our effort to do a systematic development of the solution theory for conformal formulations of the Einstein constraint equations on compact manifolds with boundary. By building in a natural way on our recent work in Holst and Tsogtgerel (2013), and Holst, Nagy, and Tsogtgerel (2008, 2009), and also on the work of Maxwell (2004, 2005, 2009) and Dain (2004), under reas...
متن کاملEntropy and topology for manifolds with boundaries
In this work a deep relation between topology and thermodynamical features of manifolds with boundaries is shown. The expression for the Euler characteristic, through the GaussBonnet integral, and the one for the entropy of gravitational instantons are proposed in a form which makes the relation between them selfevident. A generalization of Bekenstein-Hawking formula, in which entropy and Euler...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2013
ISSN: 1860-5974
DOI: 10.2168/lmcs-9(4:19)2013